; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=x86_64-windows-gnu -exception-model=dwarf < %s | FileCheck %s

%struct.A = type { [4096 x i8] }

@a = common global i32 0, align 4
@b = common global i32 0, align 4

define void @fn1() nounwind uwtable {
; CHECK-LABEL: fn1:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    movl $4136, %eax # imm = 0x1028
; CHECK-NEXT:    callq ___chkstk_ms
; CHECK-NEXT:    subq %rax, %rsp
; CHECK-NEXT:    .cfi_def_cfa_offset 4144
; CHECK-NEXT:    movl a(%rip), %eax
; CHECK-NEXT:    testl %eax, %eax
; CHECK-NEXT:    jne .LBB0_2
; CHECK-NEXT:  # %bb.1: # %select.true.sink
; CHECK-NEXT:    cltq
; CHECK-NEXT:    imulq $715827883, %rax, %rax # imm = 0x2AAAAAAB
; CHECK-NEXT:    movq %rax, %rcx
; CHECK-NEXT:    shrq $63, %rcx
; CHECK-NEXT:    shrq $32, %rax
; CHECK-NEXT:    addl %ecx, %eax
; CHECK-NEXT:  .LBB0_2: # %select.end
; CHECK-NEXT:    movl %eax, b(%rip)
; CHECK-NEXT:    leaq {{[0-9]+}}(%rsp), %rcx
; CHECK-NEXT:    # kill: def $ecx killed $ecx killed $rcx
; CHECK-NEXT:    callq fn2
; CHECK-NEXT:    addq $4136, %rsp # imm = 0x1028
; CHECK-NEXT:    retq
entry:
  %ctx = alloca %struct.A, align 1
  %0 = load i32, ptr @a, align 4
  %tobool = icmp eq i32 %0, 0
  %div = sdiv i32 %0, 6
  %cond = select i1 %tobool, i32 %div, i32 %0
  store i32 %cond, ptr @b, align 4
  call void @llvm.lifetime.start.p0(i64 4096, ptr nonnull %ctx)
  %1 = ptrtoint ptr %ctx to i64
  %2 = trunc i64 %1 to i32
  call void @fn2(i32 %2)
  call void @llvm.lifetime.end.p0(i64 4096, ptr nonnull %ctx)
  ret void
}

declare void @fn2(i32)
declare void @llvm.lifetime.start.p0(i64, ptr nocapture)
declare void @llvm.lifetime.end.p0(i64, ptr nocapture)

